A definable E 0 class containing no definable elements
نویسندگان
چکیده
منابع مشابه
Definable Representations of Definable C Groups
Let G be a compact affine definable C group and let r be∞ or ω. We prove that the representative definable C functions on G is dense in the space of continuous functions on G. Moreover we compare the category of compact affine definable C groups D with that of compact real algebraic groups A.
متن کاملDefinable norms and definable types over Banach spaces
A central question in Banach space theory has been to identify the class of Banach spaces that contain almost isometric copies of the classical sequence spaces `p and c0. Banach space theory entered a new era in the mid 1970’s, when B. Tsirelson [34] constructed the first space not containing isomorphic copies any of the classical sequence spaces. Tsirelson’s space has been called “the first tr...
متن کاملDefinable choice for a class of weakly o-minimal theories
Given an o-minimal structure M with a group operation, we show that for a properly convex subset U , the theory of the expanded structure M′ = (M, U) has definable Skolem functions precisely when M′ is valuational. As a corollary, we get an elementary proof that the theory of any such M′ does not satisfy definable choice. §
متن کاملDefinable isotopies
Let X be a definable C manifold, Y1, Y2 definably compact definable C r submanifolds of X such that dimY1 + dimY2 < dimX and Y1 has a trivial normal bundle. We prove that there exists a definable isotopy {hp}p∈J such that h0 = idX and h1(Y1) ∩ Y2 = ∅. 2010 Mathematics Subject Classification. 14P10, 14P20, 58A05, 03C64.
متن کاملDefinable C∞g Manifold Structures of Definable Cg Manifolds
Let G be a compact definable C∞ group and 2 ≤ r < ∞. Let X be a noncompact affine definable CG manifold and X1, . . . , Xk noncompact codimension one definable CG submanifolds of X such that X1, . . . , Xk are in general position in X and (X;X1, . . . , Xk) satisfies the frontier condition. We prove that (X;X1, . . . , Xk) admits a unique definable C∞G manifold structure (Y ;Y1, . . . , Yk).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2015
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-015-0436-9